Definite Integration in Mathematica V3.0

Transformations on density operators and on positive definite operators preserving the quantum Rényi divergence

Symbolic integration with respect to the Haar measure on the unitary group in Mathematica

We present IntU package for Mathematica computer algebra system. The presented package performs a symbolic integration of polynomial functions over the unitary group with respect to unique normalized Haar measure. We describe a number of special cases which can be used to optimize the calculation speed for some classes of integrals. We also provide some examples of usage of the presented package.

Integration into Prolog

We present an integration of Mathematica into Prolog using MathLink. We illustrate the interplay between the di erent components by evaluating a simple example. The motivation based on algebraic modeling as well as an application from combinatorial group theory are brie y sketched.

Embedding C-xsc Nonlinear Solvers in Mathematica

This work presents the integration of C-XSC nonlinear problem-solving modules based on automatic differentiation into Mathematica via MathLink protocol. ACM: G.4, D.2.12, D.2.13

An Implementation of Karr’s Summation Algorithm in Mathematica∗

Implementations of the celebrated Gosper algorithm (1978) for indefinite summation are available on almost any computer algebra platform. We report here about an implementation of an algorithm by Karr, the most general indefinite summation algorithm known. Karr’s algorithm is, in a sense, the summation counterpart of Risch’s algorithm for indefinite integration. This is the first implementation...